เส้นตั้งฉาก

เส้นตั้งฉาก

\overline{AB} ตั้งฉากกับ \overline{CD}

เส้นตั้งฉาก

ถ้าเส้นตรง 2 เส้นที่อยู่บนระนาบเดียวกัน ตัดกันเป็นมุมฉากแล้วเส้นตรงทั้งสองเส้นจะตั้งฉากกัน

เราสามารถสร้างเส้นตั้งฉากได้โดยสร้างเส้นตรงให้ตัดกันเป็นมุมฉาก

ข้อค้นพบ

A = (-8.68, -0.94)
B = (-1.56, -0.98)
f = Segment(A, B)
C = (-5.18, 2.48)
g = OrthogonalLine(C, f)
D = Point(g)
h = Segment(C, D)
E = Intersect(f, h)
α = Angle(B, E, C)
F = (0.94, -0.82)
G = (7.435687103594088, -0.8853276955602516)
i = Segment(F, G)
H = (3.76, 2.52)
I = (2.69, -3.5)
j = Segment(H, I)
J = Intersect(i, j)
β = Angle(G, J, H)
k = OrthogonalLine(H, i)
K = Intersect(k, i)
l = Segment(H, K)
γ = Angle(G, K, H)
a = false
b = false